Denis Diderot - PDFSEARCH.IO - Document Search Engine

Denis Diderot
Results: 132

#	Item
61	On the Expressive Power of Cost Logics over Infinite Words? Denis Kuperberg1 , Michael Vanden Boom2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Formal languages Logic Muller automaton Linear temporal logic Partition FO Alphabet First-order logic Star height Mathematics Automata theory Theoretical computer science
62	Quasi-Weak Cost Automata A New Variant of Weakness Denis Kuperberg1 1 LIAFA/CNRS/Universit´ e 2 Department Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Nondeterministic finite automaton Regular language Finite-state machine Ω-automaton Automata theory Formal languages Models of computation
63	Expressive power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom S´eminaire Automates Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Regular language Nondeterministic finite automaton Finite-state machine Ω-automaton Omega-regular language Automata theory Formal languages Models of computation
64	Nondeterminism in the Presence of a Diverse or Unknown Future ? Udi Boker1 , Denis Kuperberg2 , Orna Kupferman2 , and Michał Skrzypczak3 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-29 05:18:08 Applied mathematics Ω-automaton Muller automaton Büchi automaton Tree automaton Finite-state machine Regular language Formal language Tree Automata theory Theoretical computer science Computer science
65	Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Ω-automaton Büchi automaton Tree automaton Star height Alternating finite automaton Muller automaton Automata theory Theoretical computer science Computer science
66	Local Politics, Global Impacts: Steps to a Multi-Disciplinary Analysis of Scales The University of Chicago and the French Development Agency th th Add to Reading List Source URL: www.afd.fr Language: English - Date: 2012-05-30 13:44:42 French Development Agency Paris Debate Denis Diderot Europe France University of Paris Paris Diderot University
67	Journal of Technology Education Vol. 6 No. 2, Spring 1995 Rousseau in the Heritage of Technology Education Add to Reading List Source URL: scholar.lib.vt.edu Language: English - Date: 2015-04-02 15:18:43 Alternative education Jean-Jacques Rousseau Philosophes Romanticism Age of Enlightenment Encyclopédie Denis Diderot Emile: or On Education Philosophy Education Modern philosophy
68	ATILF Archives (1) Experience with OLAC for the ATILF archives Laurent Romary and Zina Tucsnak INRIA-LORIA, CNRS-ATILF LREC Symposium: Add to Reading List Source URL: www.language-archives.org Language: English - Date: 2013-07-30 16:53:31 Lexicography International Conference on Language Resources and Evaluation Dictionary Trésor de la langue française Denis Diderot Encyclopedia Linguistics Natural language processing OLAC
69	Expressive Power of Cost Logics over Infinite Words Denis Kuperberg1 Michael Vanden Boom2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Mathematics Computer science Star height Alphabet Regular language Formal languages Automata theory Theoretical computer science
70	Regular Temporal Cost Fun tions Thomas Col ombet1 , Denis Kuperberg1 , Sylvain Lombardy2 1 Liafa/CNRS/Université Paris 7, Denis Diderot, Fran e Ligm - Université Paris-Est Marne-la-Vallée, Fran e Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Semigroup theory Mathematics Semigroup Metre Semiautomaton Automata theory Formal languages Category theory